Add explanatory comment to header.html

See #3387

diff --git a/src/doc/header.html b/src/doc/header.html
index 83e76173c95a38a1c092b95fc880644d5039a5b5..8d12def3165ee2dd9af35002d5c4a69f32cf8748 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -27,6 +27,7 @@
                 Docs
                 <span class="arrow"></span>
             </button>
+            <!-- Sync this list with https://github.com/rust-lang/crates.io/blob/master/app/templates/application.hbs -->
             <ul id="current-user-links" class="dropdown" data-bindattr-503="503">
                 <li><a href='index.html'>Getting Started</a></li>
                 <li><a href='guide.html'>Guide</a></li>